Abstraction in the formalization of organization theory

In many organization theories, the interpretation frame is the most important part of the theory. Furthermore, organization theorists use a rich variety of reasoning mechanisms, for instance reasoning about actions using abstraction from time. In formalizing organization theories, one has to try to preserve the richness of the interpretation frames of those theories as well as the richness of the reasoning mechanisms used. This can be done by studying the abstraction mechanisms that organization theorists use: type abstraction function abstraction method abstraction (abstraction from time) In order to represent the richness of interpretation frames, one can express the concepts in these interpretation frames as types using a suitable theory of types and type abstraction that enhances FOL. Function abstraction, for instance FP, an extension of lambda calculus, gives us the instruments to define powerful functions for aggregation. Abstraction from time can be understood using method abstraction, which distinguishes the method that describes an action in a timeless way from the situation or message that trigger the execution of this method.